#+TITLE: Prolog Intro
#+AUTHOR: Zelphir Kaltstahl
#+EMAIL: zelphirkaltstahl@posteo.de
#+STARTUP: content indent align inlineimages hideblocks entitiesplain nologdone nologreschedule nologredeadline nologrefile
#+TODO: TODO INPROGRESS | DONE
#+DATE: [2022-11-09 Mi]
#+LANGUAGE: English
#+PRIORITIES: A E E

* Building blocks

** Facts

+ will reside in knowledge base

** Rules

+ will reside in knowledge base

** Queries

+ questions about facts
+ can look like facts, but are written in the REPL
+ Prolog answers with ~yes~ or ~no~, depending on whether the stated fact is true or false.
+ end with a ~.~

** Atoms

+ lower-case letter word
+ cannot change
+ is its own value

** Variable

+ initial upper-case letter word
+ can change

** Imports / Loads / Requires

+ ~['filename_without_extension']~

* Conventions

+ usually file extension is =.pl=
